Skip to content

Conversation

@tomjaguarpaw
Copy link
Contributor

@tomjaguarpaw tomjaguarpaw commented Sep 10, 2025

where there is simplified subsumption

Fixes #555

@tomjaguarpaw
Copy link
Contributor Author

Is there something wrong with GitHub Actions in this repo?

@moodmosaic
Copy link
Member

@tomjaguarpaw, yes, I noticed too -- I am travelling today and I might not be able to look into it until tomorrow.

@moodmosaic
Copy link
Member

@tomjaguarpaw, it's like they are all staying in queue forever. Unsure why though.

where there is simplified subsumption
@moodmosaic
Copy link
Member

This is a textbook example of how to handle simplified subsumption compatibility issues. Thank you @tomjaguarpaw, and @HuwCampbell for the review. 👍

@moodmosaic moodmosaic merged commit 3da2643 into hedgehogqa:master Sep 13, 2025
12 checks passed
@tomjaguarpaw tomjaguarpaw deleted the simplified-subsumption branch September 13, 2025 16:54
@tomjaguarpaw
Copy link
Contributor Author

Thanks very much! Would you be able to make a release including this change in the 1.6 series so that I can make relude depend on in, and thereby keep relude building with Stackage LTS?

@tomjaguarpaw
Copy link
Contributor Author

(In fact I think 1.6.0.1 would be a valid version bump, since no external behaviour changes.)

@moodmosaic
Copy link
Member

moodmosaic commented Sep 13, 2025

@tomjaguarpaw, yes, that’s the plan. @BowTiedRadone works in #559 which will help. In the meantime we can release early this week. Hope it helps. Thank you!

@moodmosaic
Copy link
Member

(In fact I think 1.6.0.1 would be a valid version bump, since no external behaviour changes.)

@tomjaguarpaw, we never used the patch version. Wouldn’t 1.6.1 work?

@tomjaguarpaw
Copy link
Contributor Author

Thanks, yes 1.6.1 would work.

@moodmosaic moodmosaic changed the title eta expand so it works on GHC 9.0; test on GHC 9.0.2 Fix eta-reduction issues for GHC 9.0; add CI and cabal support for GHC 9.0.2 Sep 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Doesn't build under 9.0?

3 participants